Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented 本文提出一种基于带赋值符号迁移系统stga选取测试同步序列的方法。
In this paper , we propose a strategy for selecting synchronization sequences from java multi - thread program based on the analyzing of reading and writing on shared variable , and implemented a deterministic testing framework of java multi - thread program by using the dynamic proxy class . a reachability testing system of java multi - thread program is constructed by the strategy and the deterministic testing framework 本文提出了一种基于共享变量读写操作分析的java多线程程序同步序列生成策略,采用动态代理类proxy实现了java多线程程序确定性测试框架系统,从而实现了一个java多线程可达性测试系统。